Axiomatizing Rationality

Axiomatizing core extensions

We give an axiomatization of the aspiration core on the domain of all TU-games using a relaxed feasibility condition, non-emptiness, individual rationality, and generalized versions of the reduced game property (consistency) and superadditivity. Our axioms also characterize the C-core ([Guesnerie and Oddou, 1979] and [Sun, Trockel, and Yang, 2008]) and the core on appropriate subdomains. The la...

A revealed-preference theory of strategic counterfactuals

The analysis of extensive-form games involves assumptions concerning players’ beliefs at histories off the predicted path of play. However, the revealed-preference interpretation of such assumptions is unclear: how does one elicit probabilities conditional upon events that have zero ex-ante probability? This paper addresses this issue by proposing and axiomatizing a novel choice criterion for a...

Jurisprudence and Rationality

  There are different concepts of rationality: specific rationality, normative rationality and instrumental rationality whose limitation covers the holistic rationality and represents the fate of rationality in the West. Thus following Hume reason became the slave of feelings and lost its authority for choosing the goal. In Islamic culture reason with its undeniable background in Shariah enjoy...

Axiomatizing omplex algebras by games

Axiomatizing St Bisimulation for a Process Algebra with Recursion and Action Reenement (extended Abstract)

Due to the complex nature of bisimulation equivalences which express some form of history dependence, it turned out to be problematic to axiomatize them for non trivial classes of systems. Here we introduce the idea of \compositional level-wise renaming" which gives rise to the new possibility of axiomatizing the class of history dependent bisimulations with slight modiications to the machinery...